The Isabelle Half-Cell Control System

System description: Isabelle/jEdit in 2014

Isabelle/jEdit is a Prover IDE (PIDE) that integrates parallel proof checking [6, 12] with asynchronous user interaction [8, 11, 13], based on a document-oriented approach of continuous proof processing [7, 9]. This enables the user to edit whole libraries of formalized mathematics directly in the editor, with real-time visualization of feedback produced by the prover. Today Isabelle/jEdit is t...

Using Isabelle to Prove Properties of the Kerberos Authentication System

فرآیند کنترل در سیستم کامپیوتری تهویه مطبوع ‏‎airwasher environmental control system for intelligent buildings‎‏

در این پایان نامه با استفاده از تکنولوژی روز و امکانات داخل کشور طریقه اتوماسیون سیستم تاسیساتی یک کارخانه نساجی (کارخانه نساجی اطلس پود) همراه با منوهای مربوطه و توضیحات کامل برنامه نویسی و طراحی بلوک های برنامه و سایر قسمتهای برنامه ارائه گشته است. علاوه بر این، برنامه با نمونه آمریکایی آن مقایسه و مزیت های آن نسبت به آمریکایی توضیح داده شده است. همچنین تمامی بلوک های برنامه بصورت شماتیکی بطو...

Using Isabelle to Prove Properties of the Kerberos Authentication System

The Effect of Process Parameters on the Apparent Defects of Tape-Cast SOFC Half-Cell

Using flawless components are important for a proper material selection and best working conditions to achieve the best performance of solid oxide fuel cells (SOFCs). Tape casting is the most used process for the fabrication of SOFC parts, especially anode and electrolyte due to its advantages regarding the other processes. In this study, the effect of slurry composition and milling time were s...